equational class of lattices

格等式类